Ëóóøûöö Ìóóð× Óö Ì Blockinòóðóóý Ìööò×××ö Ññòù× Blockinööôø Aeóº´ûûðð

Tools and Algorithms for the Constru tion and Analysis of Systems: An STTT spe ial se tion Prefa e by the se tion editor: Susanne Graf? The date of re eipt and a eptan e will be inserted by the editor Abstra t. The papers in this spe ial se tion appeared originally in the pro eedings of the 2000 edition of the onferen e \Tools and Algorithms for the Constru tion and Analysis of Systems" (Ta as) hold in Berlin as a onstituent event of the European joint onferen es on Theory and Pra ti e of Software. All papers present tools relevant in the ontext of validation of systems. The rst three fo us on extensions or parti ular appli ations of modelhe king te hniques, whereas the fourth one is about integration of design tools with validation tools, in parti ular theorem provers and modelhe kers.